|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Gramatická evoluce v optimalizaci software
Pečínka, Zdeněk ; Minařík, Miloš (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti aplikace gramatické evoluce v problému automatické opravy softwaru. Na základě získaných poznatků byla navržena a implementována nová metoda pro automatickou opravu softwaru, založená na gramatické evoluci. Její experimentální ověření proběhlo na řadě testovacích programů.
|
|
|
Refaktoring objektově orientované aplikace
Solárik, Martin ; Burget, Radek (oponent) ; Kreslíková, Jitka (vedoucí práce)
Tento dokument je magisterskou diplomovou prácou na tému refaktoring objektovo orientovanej aplikácie. Jej cieľom je zoznámiť sa s problematikou refaktoringu, jeho základnými princípmi, výhodami, nevýhodami a základnými používanými vzormi a získané znalosti aplikovať na reálnu aplikáciu. Dokument je rozdelený do niekoľkých častí. V úvode sa venujem definovaniu pojmu refaktoring, v ďalšej jeho základným princípom, výhodám, nevýhodám ako aj dôvodom prečo refaktoring používať. Tretia časť je venovaná vzorom refaktoringu, tvorí akýsi katalóg jednotlivých refaktoringov. Ďalšia časť je venovaná platforme .NET a nástrojom na podporu refaktoringu v tejto platforme. Predposledná kapitola sa venuje predstavením aplikácie a následnej aplikácii refaktoringu. Posledná časť nazvaná záver, je venovaná zhodnoteniu dosiahnutých výsledkov.
|
|
|
Webový informační systém a principy jeho zabezpečení
Nehasil, Filip ; Rychlý, Marek (oponent) ; Očenášek, Pavel (vedoucí práce)
Hlavním tématem práce je problematika zabezpečení webové aplikace. Jsou rozebrána potenciální zranitelná místa a navrženy způsoby ochrany aplikace v oblastech řízení přístupu, přenosu dat, uživatelského vstupu, výstupu a uchování stavu. S ohledem na bezpečnost jsou dále popsána možná řešení auditu a zálohování, zabezpečení webového serveru, návrhu databáze a obrany proti internetovým robotům. Projekt se rovněž zabývá analýzou požadavků, detailním návrhem a implementací klubového informačního systému, na němž jsou uvedená bezpečnostní řešení demonstrována. V rámci tohoto IS je mimo jiné implementován systém evidence členů klubu, evidence chovných jedinců a jejich rodokmenů, systém zveřejňování klubových akcí a jejich výsledků a systém pro správu dalšího obsahu webové prezentace. Veškerá implementační řešení jsou postavena na technologiích HTML, CSS, JavaScript, PHP a MySQL.
|
|
|
Program pro interaktivní sestavování rodokmenů
Navrátilová, Eva ; Zbořil, František (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce popisuje návrh a implementaci aplikace pro interaktivní sestavování rodokmenů. Vyvinutá aplikace uživatelům umožňuje importovat a exportovat genealogická data ve formátu GEDCOM, tato data dále upravovat a zobrazovat a exportovat rodové diagramy. Program je navržen s důrazem na modularitu. Aplikace je implemetována v jazyce C++ za využití frameworku Qt. Program byl otestován uživateli z řad českých a slovenských genealogů a byl proveden a vyhodnocen průzkum jejich spokojenosti s aplikací.
|
|
|
Generování sekvenčních diagramů z modelů Petriho sítí
Kelemen, Erik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Táto práca se zaoberá transformáciou modelu systému popísaného objektovo orientovanou Petriho sieťou na sekvenčný diagram, ktorý umožňuje spätné mapovanie aktivít sekvenčného diagramu do popisu modelu. K riešeniu je použitá diskrétna simulácia modelu popísaná jazykom PNtalk. Výsledkom práce je plne automatický generátor, ktorý pomocou dát z diskrétnej simulácie vygeneruje sekvenčný diagram. Pre generátor je dôležitá minimálna strata informácie zo simulácie a prezentácia validného sekvenčného diagramu.
|
|
|
Modelem řízený návrh softwarových systémů
Hanák, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá moderním přístupem při vytváření softwarových systémů, který se nazývá modelem řízený návrh softwarových systémů. Jedná se o metodiku, která odstraňuje řadu kritických problémů, jež se vyskytují při konvenčním návrhu systémů. Hlavní myšlenka tohoto poměrně nového přístupu se zakládá na možnosti automatického, či poloautomatického generování výsledného kódu z konceptuálních modelů.
|
|
|
Správa spisů advokátní kanceláře s napojením na veřejné databáze
Trefilík, Jakub ; Bartík, Vladimír (oponent) ; Očenášek, Pavel (vedoucí práce)
Práce se zabývá elektronickým vedením spisů advokátních kanceláří v České republice. Analyzuje současný stav a softwarové prostředky, které jsou českým advokátům k dispozici. Analyzuje přístup Ministerstva spravedlnosti České republiky k zásahu informatiky do justičního prostředí. Na základě analýzy je navrhnuta a implementována nová aplikace pro správu spisů advokátní kanceláře. Aplikace je rozšířena o funkcionalitu spojenou s napojením na veřejné databáze pod správou Ministerstva spravedlnosti České republiky.
|
|
|
Knihovna pro podporu vývoje systému ReReSearch
Heller, Stanislav ; Otrusina, Lubomír (oponent) ; Šperka, Svatopluk (vedoucí práce)
Vývoj systému ReReSearch je značně zpomalen vzájemnou nekompatibilitou jednotlivých modulů z hlediska programových prostředků, faktem, že vývojáři často opakují již známé chyby a v neposlední řadě slabou komunikací vývojářů mezi sebou. Pro řešení uvedených problémů bylo zapotřebí vytvořit prvek, který by implementoval časté úkony a procesy, sjednotil některá rozhraní v systému a poskytl prostředky pro řešení problémů na vyšší úrovni abstrakce. Výsledkem této snahy je knihovna rrslib, která by měla sloužit všem, kteří se věnují vývoji systému ReReSearch: práci s jeho databází, extrakci, zpracování, analýze a indexaci dat z webu a z lokálních dokumentů nebo jiným částem systému ReReSearch. Používáním knihovny by mělo být docíleno konzistentnějšího, rychlejšího a méně chybového vývoje systému ReReSearch.
|
|
|
Dokumentace procesů
Dostalík, Martin ; Bartík, Vladimír (oponent) ; Kreslíková, Jitka (vedoucí práce)
Cílem tohoto projektu je seznámení s řízením, analýzou a dokumentací procesů využívaných při tvorbě softwarových programů a vytvoření prototypu pro jejich podporu. Vysvětluje proč je pro firmy důležité vytvářet pracovní procesy, měřit jejich výkonnost a postupně je vylepšovat. Dále popisuje metody, které pomáhají zajistit přijetí těchto procesů v praxi a dále je řídit, zejména Rational Unified Process od firmy IBM. Také jsou zde popsány prostředky pro vývoj www aplikací a práci s nimi. Práce obsahuje specifikaci požadavků a návrh na aplikaci pro programovou podporu dokumentace procesů a popis této aplikace. Součástí diplomové práce je systém ve formě aktivních www stránek sloužící k využití knihovny procesů při vývoji softwarových projektů.
|
host ::
RSS.